Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
791	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:34:26 Boolean algebra Logic gates Algebraic logic Propositional calculus Logical connectives XOR gate Boolean function AND gate OR gate Abstract algebra Mathematical logic Mathematics
792	Grammaticalization and subjectification in the semantic domain of possibility in Kirundi (Bantu, JD62) Koen Bostoen, Ferdinand Mberamihigo and Gilles‑Maurice de Schryver Abstract This article is a first systematic stud Add to Reading List Source URL: tshwanedje.com Language: English - Date: 2012-12-10 02:17:22 Semantics Linguistic modality Modal verb Grammaticalization Auxiliary verb Epistemic modality Modal logic Verb Evidentiality Linguistics Grammatical moods Grammar
793	Using Sparse Parameter Estimation for Semantic Parsing Jiayu Zhou, Jieping Ye, Juraj Dzifcak, Chitta Baral Arizona State University Abstract. This paper addresses the problem of semantic parsing, by Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-08-13 15:12:22 Statistical theory Estimation theory Lambda calculus Representation theory of Lie algebras Weight Maximum likelihood Regularization Combinatory logic Applied mathematics Theoretical computer science Mathematics
794	The Program-Size Complexity of Self-Assembled Squares [Extended Abstract, Feb. 23, 2000] Paul W. K. Rothemund Erik Winfree Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:14 Tiling Combinatorics Integer sequences Theory of computation Wang tile Tile Tessellation L-system Combinatory logic Mathematics Visual arts Mosaic
795	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-07-16 15:34:12 Category theory Group action Group theory Symmetry Camera lens Heap Functor Combinatory logic Surjective function Mathematics Abstract algebra Mathematical analysis
796	Intelligent Design and Probability Reasoning Elliott Sober1 Department of Philosophy University of Wisconsin, Madison Abstract: This paper defends two theses about probabilistic reasoning. First, although modus Add to Reading List Source URL: www.talkreason.org Language: English - Date: 2002-10-09 01:41:11 Creationist objections to evolution Rules of inference Michael Behe Modus tollens Modus ponens Irreducible complexity Likelihood principle Statistical hypothesis testing Probabilistic logic Pseudoscience Creationism Intelligent design
797	Journal of Machine Learning Research[removed] Submitted 07/03; Published ??/0? Logic, Trees and Kernels Adam Kowalczyk Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 08:15:12 Hilbert space Boolean algebra Fourier analysis Reproducing kernel Hilbert space Fourier transform Parity function Mathematical analysis Mathematics Abstract algebra
798	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
799	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic
800	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics

UPDATE